Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.orgยท15h
๐Ÿ”—Graph Isomorphism
Cactus Language โ€ข Semantics 3
inquiryintoinquiry.comยท3h
๐Ÿ”ขDenotational Semantics
When mathematics meets aesthetics: Tessellations as a precise tool for solving complex problems
phys.orgยท3h
๐Ÿ“Mathematical Art
From Documents to Dialogue: A step-by-step RAG Journey
dev.toยท5hยท
Discuss: DEV
๐Ÿ“ŠMulti-vector RAG
Experimenting with ACL2 and Claude Code
mikedodds.orgยท7hยท
Discuss: Hacker News
๐Ÿ‘‘Isabelle
Categorical systems theory
topos.instituteยท7h
๐Ÿ”€Category Theory
An enough week
blog.mitrichev.chยท23hยท
๐Ÿ“ˆLinear programming
Writing regex is pure joy. You can't convince me otherwise.
triangulatedexistence.mataroa.blogยท17hยท
โœ…Format Verification
Explicit Lossless Vertex Expanders!
gilkalai.wordpress.comยท9h
๐Ÿ’ŽInformation Crystallography
Three ways formally verified code can go wrong in practice
buttondown.comยท2h
๐Ÿ“œProof Carrying Code
Publishing my bachelor's thesis in applied mathematics
timktitarev.wordpress.comยท2hยท
Discuss: Hacker News
๐Ÿ“Linear Algebra
Basketball trivia, editing distances, and derangement
leancrew.comยท1d
๐ŸŒณTrie Structures
Offensive OSINT s05e10 - Interactive investigative stories part 1
offensiveosint.ioยท2d
๐ŸŒWARC Forensics
A Manifesto for the Programming Desperado
github.comยท3hยท
Discuss: Hacker News
๐Ÿ’ปProgramming languages
Zippers: Making Functional "Updates" Efficient (2010)
goodmath.orgยท1dยท
๐ŸŒณIncremental Parsing
Computable Babylonian Diaries Project
christopherwolfram.comยท4hยท
Discuss: Hacker News
๐Ÿ“œDigital Philology
IASC: Interactive Agentic System for ConLangs
arxiv.orgยท15h
๐ŸŒณContext free grammars
Efficient and accurate search in petabase-scale sequence repositories
nature.comยท2dยท
Discuss: Hacker News
๐Ÿ”„Burrows-Wheeler